Este trabajo intenta analizar la concepción, naturaleza jurídica y garantía de los derechos económicos, sociales y culturales, en América Latina, así como las condiciones y medidas que pueden contribuir a su efectividad. Presenta también una propuesta de indicadores que pueden utilizarse en la supervisión de la efectividad de esos derechos y de la protección que ellos han alcanzado, proporcionando información sobre la situación latinoamericana y caribeña actual.

Este trabajo intenta analizar la concepción, naturaleza jurídica y garantía de los derechos económicos, sociales y culturales, en América Latina, así como las condiciones y medidas que pueden contribuir a su efectividad. Presenta tambien una propuesta de indicadores que pueden utilizarse en la supervision de la efectividad de esos derechos y de la proteccion que ellos han alcanzado, proporcionando información sobre la situactón latinoamericana y caribeña actual.

By a result of L.D. Beklemishev, the hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over any $$\Pi _2$$ -axiomatizable base theory extending Elementary Arithmetic collapses to its first level. We prove that this result cannot in general be extended to base theories of arbitrary quantifier complexity. In fact, given any recursively enumerable set of true $$\Pi _2$$ -sentences, S, we construct a sound $$(\Sigma _2 \! \vee \! \Pi _2)$$ -axiomatized theory T extending S such that the (...) hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over T is proper. Our construction uses some results on subrecursive degree theory obtained by L. Kristiansen. (shrink)

By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain (...) results on the quantifier complexity, finite axiomatizability and relative strength of schemes for Δn+1-formulas. (shrink)

We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag (...) GmbH & Co. KGaA, Weinheim. (shrink)

This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are $${\Delta_1}$$ provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether $${I\Delta_0 + \neg \mathit{exp}}$$ implies $${B\Sigma_1}$$ to a purely recursion-theoretic question.

In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction (...) rule for Δ n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons’ conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for Π n+2 and Δ n+1 formulas (see [2]). (shrink)

A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...) Πn-indicators for T . The analysis of Σn +1-collection we develop here is also applied to Σn +1-induction using Parsons' conservativeness theorem instead of Friedman-Paris' theorem.As a corollary, our work provides new model-theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos : BΣn +1 and IΣn +1 are Σn +3-conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1. (shrink)

Technological developments in the sphere of artificial intelligence (AI) inspire debates about the implications of autonomous weapon systems (AWS), which can select and engage targets without human intervention. While increasingly more systems which could qualify as AWS, such as loitering munitions, are reportedly used in armed conflicts, the global discussion about a system of governance and international legal norms on AWS at the United Nations Convention on Certain Conventional Weapons (UN CCW) has stalled. In this article we argue for the (...) necessity to adopt legal norms on the use and development of AWS. Without a framework for global regulation, state practices in using weapon systems with AI-based and autonomous features will continue to shape the norms of warfare and affect the level and quality of human control in the use of force. By examining the practices of China, Russia, and the United States in their pursuit of AWS-related technologies and participation at the UN CCW debate, we acknowledge that their differing approaches make it challenging for states parties to reach an agreement on regulation, especially in a forum based on consensus. Nevertheless, we argue that global governance on AWS is not impossible. It will depend on the extent to which an actor or group of actors would be ready to take the lead on an alternative process outside of the CCW, inspired by the direction of travel given by previous arms control and weapons ban initiatives. (shrink)

We prove that the standard cut is definable in each existentially closed model ofIΔ0+ exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.

This book provides the first English translations of pivotal essays and debates on the role of language politics, linguistics, and translation in Antonio Gramsci's influential cultural theory. It also includes new works from leading and up-and-coming anglophone scholars to create a vital resource for a wide variety of readers interested in Gramsci across many disciplines including cultural studies, critical political economy, social and political theory, literature, sociology, post-colonialism, and philosophy.

We investigate the variety corresponding to a logic, which is the combination of ukasiewicz Logic and Product Logic, and in which Gödel Logic is interpretable. We present an alternative axiomatization of such variety. We also investigate the variety, called the variety of algebras, corresponding to the logic obtained from by the adding of a constant and of a defining axiom for one half. We also connect algebras with structures, called f-semifields, arising from the theory of lattice-ordered rings, and prove that (...) every algebra can be regarded as a structure whose domain is the interval [0, 1] of an f-semifield, and whose operations are the truncations of the operations of to [0, 1]. We prove that such a structure is uniquely determined by up to isomorphism, and we establish an equivalence between the category of algebras and that of f-semifields. (shrink)

In this paper, I fill out the received view of logical positivism within professional philosophy against which Thomas Kuhn’s Structure appeared. To do this, I look at the methodological dimensions of ordinary language criticisms of logical positivist analysis from P.F. Strawson and J.L. Austin. While no one would confuse Strawson and Austin for philosophers of science, I look to their criticisms given the general porousness of sub-disciplinary boundaries in mid-20th century philosophy, the prominence of ordinary language philosophy in the 1950s, (...) and also because Kuhn was likely aware of their criticisms via Stanley Cavell. Their main charge is that the positivists base their ideal language analysis on an impoverished, yet overreaching account of meaning because they ignore ordinary linguistic practices. I then show how these methodological criticisms run parallel to points Kuhn makes against logical positivist approaches to the study of scientific knowledge. The parallels I draw emphasize methodological, rather than doctrinal dissatisfaction in mid-20th century philosophy with logical positivism’s perceived neglect of linguistic and scientific practices. An insight shared by these parallel criticisms is that logical positivists cannot declare linguistic and scientific practices irrelevant to their philosophical aims without an antecedent investigation of the practices under question. (shrink)

Hegel offers perhaps the most profound and systematic modern attempt to understand the state as the realization of human freedom. In this examination of the philosopher’s ideas on freedom, Paul Franco focuses particularly on G. W. F. Hegel’s masterpiece, Philosophy of Right. Franco traces the development of Hegel’s ideas and relates them to modern political theory.

Estudio bibliográfico de: / A Bibliographical Study of: G. Coccoli, C. Marrone, F. Ratto, G. Santese , Natura e storia. Saggi di filosofia, Edizioni Sestante, Ripatransone 1996, pp. 325.

Palémon Glorieux proposed in 1949 to attribute a small treatise on Penance that was published for the first time in 1674 to William of Auvergne, bishop of Paris from 1228 to 1249. F.N.M. Dietkstra has rejected this attribution in 1994, essentially because the treatise is present in the Jacques de Vitry’s collection of Sermones de tempore. However, the text appears — explicitly attributed to the bishop of Paris — in one of the six manuscripts of sermons that Robert of Sorbon (...) bequeathed, probably in 1274, to the library of the college that he founded. The three manuscripts of the 13th century that indicate William of Auvergne as the author of the De confessione make plausible this attribution. The paper ends with the edition of the short version of the text. (shrink)

We investigate axiomatizability of various fragments of first order computational tree logic showing that the fragments with the modal operator F are non axiomatizable. These results shows that the only axiomatizable fragment is the one with the modal operator next only.

We show that the Axiom of Foundation, as well as the Antifoundation Axiom AFA, plays a crucial role in determining the decidability of the following problem. Given a first-order theory T over the language , and a sentence F of the form with quantifier-free in the same language, are there models of T in which F is true? Furthermore we show that the Extensionality Axiom is quite irrelevant in that respect.

Este manuscrito pretende plantear dos ideas: la primera problematiza el origen de la universidad en tanto creación humana en sentido pragmático (Kant, 1800), para luego abordarlo en perspectiva histórica desde tres momentos: Medieval, Clásico y Ancestral, retomando autores como Rashdal (1895), Haskings (1923), Ureña (1919), Ribeiro (1971) y Dussel (2004); posteriormente se plantea el origen de la universidad más allá de su historicidad, en el interior del ser humano como cultivo de la virtud y el conocimiento poiesis en Platón (380 (...) a.C/1999). La segunda idea implica comprender que desde su origen la universidad como politeia desde la apropiación de algunos planteamientos aristotélicos (s,f/1883) y arendtianos (1997), ha posibilitado pensarse como un escenario de movilización social o continuidad del orden social establecido, donde se reflexiona críticamente en la necesidad de actualización de la universidad entre poiesis y politeia como potencia para recuperar su sentido primigenio, en tanto actitud que brota del interior del ser humano. (shrink)